Results for 'Fernando A. Riofrío'

982 found
Order:
  1.  24
    Metaphysics Z 17’s Ontological Deduction of the Εἶδος as Principle and Primary Substance through the Analysis of the Becoming.Fernando A. Riofrío - 2019 - Philosophy Study 9 (1).
    This article analyzes Aristotle's argument on form as the primary substance and principle in Metaphysics Zeta 17 from the point of departure of the sense-perceptible substances subject to the becoming.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  2. La Multiplicidad de los Entes según Tomás de Aquino.Fernando A. Riofrio - 2017 - Sarrebruck, Alemania: Editorial Académica Española, OmniScriptum.
    Multiplicity of Beings according to Saint Thomas Aquinas is a book that aimed to find an explanation of beings' diversity on the grounds of the metaphysical intrinsic principles of beings identified by Aristótle. Are matter and form causes of identity, individuation and diversity of substances? Aquinas answers this question by means of some demonstrations grounded on the very nature of matter and form, in the line of the doctrines contained in book 7 of the Aristotle's Metaphysics.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  3.  12
    La recepción de José Ortega y Gasset en España.Fernando González Galán - 2021 - La Poveda (Arganda del Rey) Madrid: Editorial Verbum.
    La restauración borbónica en España se extendió entre el 29 de diciembre de 1874 (pronunciamiento de Martínez Campos) y el 14 de abril de 1931 (proclamación de la Segunda República española). José Ortega y Gasset nació en 1883 y vivió casi medio siglo, 48 años, en este periodo. Durante el mismo desarrolló parte de su trabajo. Sin embargo, la fragilidad del sistema político, social y económico que desembocó en la II República y más tarde en la Guerra Civil española motivó (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  4.  14
    Anotações sobre a vida cultural na época do Antigo Regime.Fernando A. Novais - 1979 - Discurso 10:61-70.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  5.  48
    Naivety as a form of social classification in art: a sociological analysis.Fernando A. Valenzuela - 2013 - Cinta de Moebio 48:136-146.
    The notion of naivety is a form of classification and explanation of the social world. By applying Erving Goffman’s expression games model, it is observed that the notion of naivety corresponds to a situation in which an observer assumes that the observed subject does not accommodate his behavior to the presence of the observer, in the assumption that the latter might take advantage from what he learns from it. This article explores this model’s explanatory power in reference to the diverse (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  6. Actos de habla y hermenéutica analógica.Fernando Álvarez Ortega - 2012 - In Mauricio Beuchot & Fernando Álvarez Ortega (eds.), Actualidad de lo pasado: algunas teorías filosóficas clásicas y su vigencia en el presente. México, D.F.: Universidad Iberoamericana.
     
    Export citation  
     
    Bookmark  
  7. " Debate en torno a la posmodernidad", de Modesto Berciano Villalibre.Fernando A. Bahr - 1999 - Teorema: International Journal of Philosophy 18 (2):123-125.
    No categories
     
    Export citation  
     
    Bookmark  
  8. Conclusiones.Fernando Álvarez Ortega - 2012 - In Mauricio Beuchot & Fernando Álvarez Ortega (eds.), Actualidad de lo pasado: algunas teorías filosóficas clásicas y su vigencia en el presente. México, D.F.: Universidad Iberoamericana.
     
    Export citation  
     
    Bookmark  
  9.  28
    Superrational types.Fernando A. Tohmé & Ignacio D. Viglizzo - 2019 - Logic Journal of the IGPL 27 (6):847-864.
    We present a formal analysis of Douglas Hofstadter’s concept of superrationality. We start by defining superrationally justifiable actions, and study them in symmetric games. We then model the beliefs of the players, in a way that leads them to different choices than the usual assumption of rationality by restricting the range of conceivable choices. These beliefs are captured in the formal notion of type drawn from epistemic game theory. The theory of coalgebras is used to frame type spaces and to (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  10.  16
    Outcomes of open and endoscopic carpal tunnel release: a meta-analysis.Som Kohanzadeh, Fernando A. Herrera & Marek Dobke - 2012 - In Zdravko Radman (ed.), The Hand. MIT Press. pp. 7--3.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  11.  5
    Towards the kingdom of heaven: through the rational side of religion.A. L. Nixon Fernando - 1999 - Mumbai: Bharatiya Vidya Bhavan.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  12.  19
    Effects of partial reinforcement in an autoshaping procedure.Fernando A. Gonzalez - 1973 - Bulletin of the Psychonomic Society 2 (5):299-301.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  13. La fundamentación hermenéutico-analógica del conocimiento histórico.Fernando Álvarez Ortega - 2012 - In Mauricio Beuchot & Fernando Álvarez Ortega (eds.), Actualidad de lo pasado: algunas teorías filosóficas clásicas y su vigencia en el presente. México, D.F.: Universidad Iberoamericana.
     
    Export citation  
     
    Bookmark  
  14. Los escépticos modernos y la génesis del "cogito" cartesiano.Fernando A. Bahr - 2010 - Revista Latinoamericana de Filosofia 36 (1):59-85.
     
    Export citation  
     
    Bookmark   1 citation  
  15.  22
    Rawls, la estructura básica y el comunismo.Fernando A. Lizárraga - 2011 - Isegoría 44:115-137.
    En su teoría de la justicia como equidad, John Rawls sostiene que la estructura básica es el objeto primario de la justicia y que, por ende, quedan excluidas las decisiones personales. Esta posición sufre un giro insospechado en la visión rawlsiana sobre la justicia en el comunismo. En sus tres lecciones sobre Marx, Rawls presenta una doble valoración: por un lado, sostiene que el comunismo es justo en virtud de su distribución igualitaria; por otro, afirma que la ausencia de un (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  16.  8
    Introducción en la teoría de las artes.Fernando A. Moliné - 1970 - Buenos Aires,: Editorial Glauco.
    Direct download  
     
    Export citation  
     
    Bookmark  
  17.  8
    La ideología de Star Wars.Fernando Ángel Moreno - 2018 - Madrid: Guillermo Escolar Editor.
    Direct download  
     
    Export citation  
     
    Bookmark  
  18.  32
    Two approaches to the problems of self-attacking arguments and general odd-length cycles of attack.Gustavo A. Bodanza & Fernando A. Tohmé - 2009 - Journal of Applied Logic 7 (4):403-420.
    The problems that arise from the presence of self-attacking ar- guments and odd-length cycles of attack within argumentation frameworks are widely recognized in the literature on defeasible argumentation. This paper introduces two simple semantics to capture different intuitions about what kinds of arguments should become justified in such scenarios. These semantics are modeled upon two extensions of argumentation frameworks, which we call sustainable and tolerant. Each one is constructed on the common ground of the powerful concept of admissibility introduced by (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  19. Religion that leads to communalism in politics.A. Fernando - 2000 - Journal of Dharma 25 (2):111-125.
  20.  69
    Local logics, non-monotonicity and defeasible argumentation.Gustavo A. Bodanza & Fernando A. Tohmé - 2004 - Journal of Logic, Language and Information 14 (1):1-12.
    In this paper we present an embedding of abstract argumentation systems into the framework of Barwise and Seligmans logic of information flow. We show that, taking P.M. Dungs characterization of argument systems, a local logic over states of a deliberation may be constructed. In this structure, the key feature of non-monotonicity of commonsense reasoning obtains as the transition from one local logic to another, due to a change in certain background conditions. Each of Dungs extensions of argument systems leads to (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  21.  14
    Energía, sostenibilidad y transición: nuevos desafíos y problemas pendientes.Óscar Carpintero & Fernando A. Frechoso - 2023 - Arbor 199 (807):a687.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  22.  16
    Affective and cognitive brain-networks are differently integrated in women and men while experiencing compassion.Geraldine Rodríguez-Nieto, Roberto E. Mercadillo, Erick H. Pasaye & Fernando A. Barrios - 2022 - Frontiers in Psychology 13.
    Different theoretical models have proposed cognitive and affective components in empathy and moral judgments encompassing compassion. Furthermore, gender differences in psychological and neural functions involving empathic and moral processing, as well as compassionate experiences, have been reported. However, the neurobiological function regarding affective and cognitive integration underlying compassion and gender-associated differences has not been investigated. In this study, we aimed to examine the interaction between cognitive and emotional components through functional connectivity analyzes and to explore gender differences for the recruitment (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  23.  23
    (1 other version)On understanding computers and cognition: A new foundation for design.Terry Winograd & Fernando Flores - 1987 - Artificial Intelligence 31 (2):250-261.
  24.  23
    Daniela Serna: del texto en expansión a los límites de la forma.Fernando Mora Meléndez - 2020 - Co-herencia 17 (32):297-304.
    Daniela Serna investiga y crea sobre el tránsito que se produce entre el objeto verbal de origen literario y el artefacto visual de carácter plástico y estético. Su obra expande la idea de la literatura formal, donde las dimensiones temporales y sensoriales se experimentan en la imaginación del lector, para proponer poemas visuales en los cuales propicia una experiencia de sentido que amplifica o diluye los límites de lo posible. En esta reseña se abordan un conjunto de obras, cuyo eje (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  25.  48
    Empirical Encounters with Computational Irreducibility and Unpredictability.Hector Zenil, Fernando Soler-Toscano & Joost J. Joosten - 2012 - Minds and Machines 22 (3):149-165.
    The paper presents an exploration of conceptual issues that have arisen in the course of investigating speed-up and slowdown phenomena in small Turing machines, in particular results of a test that may spur experimental approaches to the notion of computational irreducibility. The test involves a systematic attempt to outrun the computation of a large number of small Turing machines (3 and 4 state, 2 symbol) by means of integer sequence prediction using a specialized function for that purpose. The experiment prompts (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  26.  1
    Teacher Training: (Dis)encounter between Theory and Practice.Gerardo I. Sánchez, Ximena E. Jara & Fernando A. Verdugo - forthcoming - Evolutionary Studies in Imaginative Culture:325-340.
    The preparation of teachers is a key process in the development of effective teachers, however, initial training always seems insufficient and outdated to produce the expected teaching profile and respond to the dynamic character of today's society. This article reports part of the research "teachers in the process of initial training" (2020-2021), developed in the context of a Faculty of Education Sciences, Chile. Based on a qualitative methodology and a case study research strategy, we worked with 120 pedagogy students in (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  27.  43
    La Ley de Derechos de Autor y la protección de los materiales didácticos de la educación a distancia bajo la plataforma de las tecnologías de información y comunicación.Carmen Logreira & Fernando Fuentes - 2005 - Telos: Critical Theory of the Contemporary 7 (3):426-438.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  28.  43
    Correlación del Sentimiento Negativo y Positivo de comentarios Publicados en Twitter (Negative and Positive Sentiment Correlation on Comments Published on Twitter).Fernando Rodríguez & Francisco Torres - 2012 - Daena 7 (1):68-77.
    Resumen. En la presente investigación se describe el análisis de sentimiento realizado en comentarios publicados en la red social de Twitter. Los datos se obtuvieron al monitorear durante 36 días la evaluación del sentimiento de los comentarios que resultaron de hacer búsquedas de catorce diferentes sistemas operativos para celular; utilizando para dicha evaluación la herramienta Twitter-Sentiment. Se encontró que los comentarios positivos y negati¬vos presentan una correlación positiva para la mayoría de los sistemas operativos utilizados en la investigación.. The present (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  29.  8
    Manual práctico de filosofía del derecho: fundamentos del derecho y justicia.Paredes Lovón & Javier Fernando - 2020 - Barcelona: JM Bosch Editor.
    Direct download  
     
    Export citation  
     
    Bookmark  
  30.  7
    Ambiguus proteus: valor, exceso y morfología.Pérez Herranz & Fernando Miguel - 2019 - Madrid, España: Brumaria.
    Direct download  
     
    Export citation  
     
    Bookmark  
  31.  10
    Engels, Marx e o pragmatismo: a odisseia de William English Walling.Paulo Fernando Rocha Antunes - 2016 - Griot : Revista de Filosofia 14 (2):48-76.
    O presente artigo toma em sua consideração o discreto apêndice do, então socialista, William English Walling – “Socialism and Pragmatism as seen in the Writings of Marx and Engels” – servindo de mote a um regresso à conceção materialista da história, com especial incidência nos escritos de Friedrich Engels. A escolha de Walling assinala-se pelo facto de uma alegada herança de tipo socialista-pragmatista ou marxista-pragmatista atravessar todo o século XX até aos nossos dias. Serão diversos os exemplos, mas parece residir (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  32.  25
    Earth Black Rising and Queen Sono: A Critical Decolonial Analysis.Fernando David Márquez Duarte - 2021 - Open Philosophy 5 (1):118-135.
    In this article two series are analyzed: Black Earth Rising and Queen Sono, shows that are about African realities from an African perspective. The findings in this article show that both series address social and political issues such as neocolonialism, neoextractivism, internal colonialism, racism, inequality, justice, self-determination, corruption, violence, peace, memory, necropolitics, mental health, and decoloniality. I also argue that the shows could be used as pedagogical tools to raise critical consciousness in a wide public regarding the social and political (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  33.  7
    Persona y realidad: notas sobre la antropología de Zubiri.Fernando Fernández Font - 2004 - [Mexico]: ITESO.
    Direct download  
     
    Export citation  
     
    Bookmark  
  34.  84
    Philosophy of linguistics.Ruth M. Kempson, Tim Fernando & Nicholas Asher (eds.) - 2012 - Boston: North Holland.
    Philosophy of Linguistics investigates the foundational concepts and methods of linguistics, the scientific study of human language. This groundbreaking collection, the most thorough treatment of the philosophy of linguistics ever published, brings together philosophers, scientists and historians to map out both the foundational assumptions set during the second half of the last century and the unfolding shifts in perspective in which more functionalist perspectives are explored. The opening chapter lays out the philosophical background in preparation for the papers that follow, (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  35.  82
    M-Zeroids: Structure and Categorical Equivalence.Joshua B. Palmatier & Fernando Guzman - 2012 - Studia Logica 100 (5):975-1000.
    In this note we develop a method for constructing finite totally-ordered m-zeroids and prove that there exists a categorical equivalence between the category of finite, totally-ordered m-zeroids and the category of pseudo Łukasiewicz-like implicators.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  36.  9
    El porvenir de la filosofía a partir del análisis de su historia.Juan Fernando Ortega Muñoz - 1982 - Málaga: Librería Agora.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  37.  18
    (1 other version)Interpretability in Robinson's Q.Fernando Ferreira & Gilda Ferreira - forthcoming - Association for Symbolic Logic: The Bulletin of Symbolic Logic.
    Edward Nelson published in 1986 a book defending an extreme formalist view of mathematics according to which there is an impassable barrier in the totality of exponentiation. On the positive side, Nelson embarks on a program of investigating how much mathematics can be interpreted in Raphael Robinson's theory of arithmetic Q. In the shadow of this program, some very nice logical investigations and results were produced by a number of people, not only regarding what can be interpreted in Q but (...)
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  38.  15
    The Journey on Foot of Being and Nothingness: analysis of Sartrean and Gonzalian philosophy based on the idea of time, identity and death.José Fernando Ramírez Álvarez - 2024 - Cuadernos de Filosofía Latinoamericana 45 (130):166-186.
    Fernando González Ochoa es un referente de la filosofía colombiana y latinoamericana y como tal ha sido tomado en cuenta seriamente por grandes escritores y pensadores a nivel mundial. Entre ellos se encuentra el filósofo francés Jean-Paul Sartre, considerado como uno de los grandes precursores del existencialismo y que presuntamente elogió abiertamente el pensamiento de González. Ante ello, en este artículo se indagará sobre algunas consideraciones que configurarían la construcción de un sujeto existencial en ambos pensadores, colocando entre otras (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  39. On End‐Extensions of Models of ¬exp.Fernando Ferreira - 1996 - Mathematical Logic Quarterly 42 (1):1-18.
    Every model of IΔ0 is the tally part of a model of the stringlanguage theory Th-FO . We show how to “smoothly” introduce in Th-FO the binary length function, whereby it is possible to make exponential assumptions in models of Th-FO. These considerations entail that every model of IΔ0 + ¬exp is a proper initial segment of a model of Th-FO and that a modicum of bounded collection is true in these models.
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  40.  13
    América, europa Y otros planetas (a propósito Del libro de Vicente Verdú, el planeta americano, anagrama, barcelona, 1996.Fernando Rodríguez Genovés - 1996 - Daimon: Revista Internacional de Filosofía 13:169-176.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  41.  57
    Castoriadis: the Radical Imagination and the Post-Lacanian Unconscious.Fernando Urribarri - 2002 - Thesis Eleven 71 (1):40-51.
    Castoriadis's interpretation of Freud centres on the idea of the radical imagination; the introduction of this concept into psychoanalysis has consequences which affect all levels of the Freudian project. As Castoriadis sees it, Freud's foundational insights are not in dispute, but the reference to the imagination makes it possible to articulate them in new ways and build new bridges between psychoanalysis and social theory. In its capacity as a source of representation and meaning, the radical imagination is - together with (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  42.  23
    La Vida como narrativa: El invisible hilo que da sentido a la historia.Fernando Lara Lara - 2021 - Investigaciones Fenomenológicas 11:251.
    El objeto de este artículo es formular el concepto de identidad narrativa en Paul Ricoeur. El método empleado ha consistido en la revisión de distintos estudios elaborados por este autor, principalmente, los referidos a Tiempo y narración, L'identité narrative, y en Sí mismo como otro. Se concluye que el concepto de identidad narrativa configura el tiempo como la unidad narrativa de una vida personal y general.The purpose of this article is to formulate the concept of narrative identity in Paul Ricoeur. (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  43. El anhelo de Dios en la obra de Miguel de Unamuno.Luis Fernando Fernández Ochoa - 2012 - Escritos 20 (45):403-413.
    Mediante un lenguaje paradojal, la obra de Miguel de Unamuno plantea de modo recurrente la cuestión de Dios, especialmente en el libro Del sentimiento trágico de la vida. Lo plantea bajo dos perspectivas: la del Dios pensado y la del Dios sentido. En ambos casos se trata de un Dios personal cuyo encuentro tiene lugar por vía de la intuición vivencial y el recogimiento. Se reconocen allí coincidencias con San Juan de la Cruz, y en general, con la mística al (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  44.  20
    Hacia una democracia no formal.José Fernando García Soto - 2020 - Hybris, Revista de Filosofí­A 11 (1):253-263.
    El artículo se propone mostrar, en primer lugar, que el enfoque trascendental a la base de las concepciones de la política deliberativa y hegemónica de Habermas y Laclau-Mouffe, respectivamente, tiene como consecuencia neutralizar el pluralismo de las prácticas políticas, asumiendo una concepción historicista en el sentido que Dipesh Chakravarty ha dado al término, como un proceso unificado destinado a reproducirse en todas partes del mismo modo, en último término eurocentrista. Enseguida, sostener que hay en el modo en que Emil Lask (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  45.  2
    Validation of a Questionnaire for Emotional Leadership in Educational Center Managers.Evelyn Pizarro Fuentes, Fernando Díez Ruiz & Aurelio Villa Sánchez - forthcoming - Evolutionary Studies in Imaginative Culture:1383-1401.
    The primary objective of the research was to validate the Emotional Leadership Questionnaire for Training, as proposed by McKee et al. (2008). The study included a sample of 97 school principals. An analysis of the original questionnaire was conducted, which comprises four factors and 25 items. Of these, three items and 13 factors were retained. The results demonstrated an optimal fit of the model and high-reliability indices. This instrument provides a practical self-perception tool to assess emotional leadership, underscoring the importance (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  46.  35
    Design and Implementation Factors for Performance Measurement in Non-profit Organizations: A Literature Review.Fernanda T. Treinta, Louisi F. Moura, José M. Almeida Prado Cestari, Edson Pinheiro de Lima, Fernando Deschamps, Sergio Eduardo Gouvea da Costa, Eileen M. Van Aken, Juliano Munik & Luciana R. Leite - 2020 - Frontiers in Psychology 11.
    Purpose: Performance measurement systems (PMS) in Nonprofit Organizations (NPOs) are more complex than in for-profit organizations. NPOs have an orientation towards social mission and values, and they consider not only organizational efficiency and viability, but also the social impact of the organization. This research provides a comprehensive synthesis of PMSs in NPOs. Design/methodology/approach: Using a literature review, supported by bibliometric and network analyses. A paper set of 240 articles related to this research field is examined. Topics that are the most (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  47.  76
    Studying Three Abstract Artists Based on a Multiplex Network Knowledge Representation.Luis Fernando Gutiérrez, Roberto Zarama & Juan Alejandro Valdivia - 2021 - Complexity 2021:1-24.
    Discovering the influences between paintings and artists is very important for automatic art analysis. Lately, this problem has gained more importance since research studies are looking into explanations about the origin and evolution of artistic styles, which is a related problem. This paper proposes to build a multiplex artwork representation based on artistic formal concepts to gain more understanding about the aforementioned problem. We complement and built our approach on the previous notion of Creativity Implication Network. We used the recently (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  48.  69
    Nietzsche e Palestrina.Fernando De Moraes Barros - 2007 - Discurso 37:201-216.
    Este artigo trata do lugar de Palestrina no primeiro período da filosofia de Nietzsche. Na tentativa de situar o célebre compositor renascentista no seio de algumas observações articuladas pelo filósofo alemão, mostrar-se-á, qual instigante e invulgar problemática acerca da origem da linguagempode, a partir de tal registro teórico, vir à tona.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  49.  42
    El concepto hegeliano de "Historia de la Filosofía".Fernando Luis Peligero Escudero - 1980 - Anales Del Seminario de Historia de la Filosofía 1:155-192.
    The aim of this paper is to prove how what is apparently a mistake made by Plutarch, wheter deliberate or not, in his reference to the arson attack of Caesar´s soldiers in Alexandria as the end of the famous Library, show us the common sense of the term “bibliotheke” from that time up to now. Coming to this conclusion has required a detailed analysis of the Library of Alexandria since its birth applying Aristotelian doctrine to its configuration not only as (...)
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  50.  37
    Harrington’s conservation theorem redone.Fernando Ferreira & Gilda Ferreira - 2008 - Archive for Mathematical Logic 47 (2):91-100.
    Leo Harrington showed that the second-order theory of arithmetic WKL 0 is ${\Pi^1_1}$ -conservative over the theory RCA 0. Harrington’s proof is model-theoretic, making use of a forcing argument. A purely proof-theoretic proof, avoiding forcing, has been eluding the efforts of researchers. In this short paper, we present a proof of Harrington’s result using a cut-elimination argument.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
1 — 50 / 982